cohereditary subcategory

上遗传子范畴